Nuprl Definition : pred
11,40
postcript
pdf
pred(
e
) == outl(
pred?
(
e
))
latex
clarification:
pred(
pred?
;
e
) == outl(
pred?
(
e
))
latex
Definitions
outl(
x
)
FDL editor aliases
pred
origin
